1. Verified Software: Theories, Tools, Experiments
المؤلف: / Ernie Cohen, Andrey Rybalchenko
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
![](/design/images/bookmore.png)